Solving Inheritance Anomaly Problems by State Abstraction-Based Synchronization
نویسنده
چکیده
“Abstract state” is a programming language facility that makes the internal state information of abstract data types available from outside, in a controlled fashion. Abstract state is also a useful and efficient tool for specifying synchronization for parallel object-oriented languages. In this paper, we introduce interfaceand implementationinheritance to state abstractionbased parallel language and analyze its descriptive power. As a result, we could obtain (1) clean, comprehensive language design, which is (2) efficiently implementable, (3) avoiding typical inheritance anomaly problems. Additionally, in our scheme (4) type system reflects difference in objects’ synchronization behavior, which affects objects’ substitutability.
منابع مشابه
Concurrent Object-Oriented Languages and the Inheritance Anomaly
A survey of concurrent object-oriented languages is presented. The survey is organized around three models: the Animation Model that describes a variety of relationships between threads and objects, an Interaction Model that classi es the possible semantics of invocations and returns between a client object and a server object, and a Synchronization Model that shows di erent ways in which concu...
متن کاملSynchronization Using Failure Detectors
Many important synchronization problems in distributed computing are impossible to solve (in a fault-tolerant manner) in purely asynchronous systems, where message transmission delays and relative processor speeds are unbounded. It is then natural to seek for the minimal synchrony assumptions that are sufficient to solve a given synchronization problem. A convenient way to describe synchrony as...
متن کاملA Computational Method for Solving Optimal Control Problems and Their Applications
In order to obtain a solution to an optimal control problem, a numerical technique based on state-control parameterization method is presented. This method can be facilitated by the computation of performance index and state equation via approximating the control and state variable as a function of time. Several numerical examples are presented to confirm the analytical findings and illus...
متن کاملTree Based Hierarchical Reinforcement Learning
In this thesis we investigate methods for speeding up automatic control algorithms. Specifically, we provide new abstraction techniques for Reinforcement Learning and Semi-Markov Decision Processes (SMDPs). We introduce the use of policies as temporally abstract actions. This is different from previous definitions of temporally abstract actions as we do not have termination criteria. We provide...
متن کاملHighly E cient and Encapsulated Re-use of Synchronization Code in Concurrent Object-Oriented Languages
Re-use of synchronization code in concurrent OOlanguages has been considered di cult due to inheritance anomaly, which we minimize with our new proposal. Designed with high practicality in mind, we propose language primitives (plus their implementation) with the following characteristics: (1) it allows multiple synchronization schemes|the language schemes for programming synchronization|to coex...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997